Theoretical computer science

Results: 9916



#Item
21

References [1] F.S. de Boer, A. Di Pierro, and C. Palamidessi. Nondeterminism and Infinite Computations in Constraint Programming. Theoretical Computer Science, 151(1), 1995. Selected Papers of the Workshop on Topology a

Add to Reading List

Source URL: profs.sci.univr.it

Language: English - Date: 2016-11-27 13:25:29
    22

    Encoding Arguments PAT MORIN, Carleton University WOLFGANG MULZER, Freie Universit¨at Berlin TOMMY REDDAD, McGill University Many proofs in discrete mathematics and theoretical computer science are based on the probabi

    Add to Reading List

    Source URL: page.mi.fu-berlin.de

    Language: English - Date: 2018-08-08 08:40:13
      23

      Theoretical Computer Science–137 Contents lists available at SciVerse ScienceDirect Theoretical Computer Science www.elsevier.com/locate/tcs

      Add to Reading List

      Source URL: www.cs.haifa.ac.il

      Language: English - Date: 2014-03-10 07:21:35
        24

        Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org ON THE COMPLEXITY OF ELEMENTARY MODAL LOGICS EDITH HEMASPAANDRA AND HENNING SCHNOOR Department of Computer Science, Roc

        Add to Reading List

        Source URL: drops.dagstuhl.de

        Language: English - Date: 2008-02-05 06:40:10
          25

          34th International Symposium on Theoretical Aspects of Computer Science Program and Information Conference Information

          Add to Reading List

          Source URL: stacs2017.thi.uni-hannover.de

          Language: English - Date: 2018-05-04 04:12:23
            26

            Theoretical Computer Science – 183 www.elsevier.com/locate/tcs Modular verification of multithreaded programs Cormac Flanagana,∗,1 , Stephen N. Freundb,1 , Shaz Qadeerc , Sanjit A. Seshiad,2

            Add to Reading List

            Source URL: dept.cs.williams.edu

            Language: English - Date: 2018-08-12 09:38:32
              27

              Theoretical Computer Science – 434 www.elsevier.com/locate/tcs Scalar aggregation in inconsistent databases Marcelo Arenasa , Leopoldo Bertossib , Jan Chomickic;∗ , Xin Hec ,

              Add to Reading List

              Source URL: marenas.sitios.ing.uc.cl

              - Date: 2013-04-26 05:57:02
                28

                A Rosenbrock-Nystrom State Space Implicit Approach for the Dynamic Analysis of Mechanical Systems: I – Theoretical Formulation ∗ Adrian Sandu Department of Computer Science, Michigan Technological University, Houghto

                Add to Reading List

                Source URL: homepages.cae.wisc.edu

                - Date: 2003-06-21 13:24:32
                  29

                  Preprint of paper: Theoretical Computer Science, vol), pp.177–196.  Multi-Cut

                  Add to Reading List

                  Source URL: www.top-5000.nl

                  - Date: 2007-02-08 07:59:24
                    30

                    A New Variation of Hat Guessing Games Tengyu Ma1 , Xiaoming Sun1 , and Huacheng Yu1 Institute for Theoretical Computer Science Tsinghua University, Beijing, China Abstract. Several variations of hat guessing games have b

                    Add to Reading List

                    Source URL: theory.stanford.edu

                    - Date: 2015-04-26 18:37:48
                      UPDATE